Nuprl Definition : ecl-trans-ks
0,22
postcript
pdf
ecl-trans-ks(
v
) == let
T
,
ks
,
i
,
g
,
h
,
a
,
e
=
v
in
ks
latex
Definitions
let
a
,
b
,
c
,
d
,
e
,
f
,
g
=
u
in
v
(
a
;
b
;
c
;
d
;
e
;
f
;
g
)
FDL editor aliases
ecl-trans-ks
origin